[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 277, 278, 279, 280, 281, 282, 283, 288, 289, 290, 291, 293, 294 }

B grade: { 1, 42, 43 }

C grade: { 276, 284, 285, 286, 287, 292 }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 14, 17, 22, 39, 40, 41, 44, 51, 52, 53, 54, 55, 56, 66, 68, 73, 78, 80, 85, 90, 92, 97, 102, 103, 104, 105, 110, 115, 116, 117, 122, 127, 128, 129, 134, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 275, 276, 277, 278 }

B grade: { 9, 10, 11, 12, 15, 16, 18, 19, 20, 23, 24, 42, 43, 67, 69, 70, 71, 72, 74, 75, 76, 77, 79, 81, 82, 83, 84, 86, 87, 88, 89, 91, 93, 94, 95, 96, 98, 99, 100, 101, 106, 107, 108, 111, 112, 113, 114, 118, 119, 120, 121, 123, 124, 125, 126, 130, 131, 132, 133, 135, 136, 137, 138, 139, 274 }

C grade: { 13, 21, 45, 46, 47, 48, 49, 50, 109 }

F grade: { 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 57, 58, 59, 60, 61, 62, 63, 64, 65, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 39, 40, 41, 51, 52, 53, 54, 55, 56, 140, 141, 142, 143, 144, 146, 150, 151, 152, 153, 154, 156, 160, 161, 162, 163, 164, 165, 167, 171, 172, 173, 174, 175, 176, 182, 183, 184, 185, 186, 192, 193, 194, 195, 196, 261, 262, 265, 266, 267, 270, 271, 272, 275, 276 }

B grade: { 42, 43, 44, 145, 147, 148, 149, 155, 157, 158, 159, 166, 168, 169, 170, 177, 178, 179, 180, 181, 187, 188, 189, 190, 191, 197, 198, 199, 200, 201 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 45, 46, 47, 48, 49, 50, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 263, 264, 268, 269, 273, 274, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 39, 40, 41, 43, 44, 51, 52, 53, 54, 55, 56, 64, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 261, 262, 265, 266, 267, 270 }

B grade: { 42, 271, 272, 275, 276 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 45, 46, 47, 48, 49, 50, 57, 58, 59, 60, 61, 62, 63, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 263, 264, 268, 269, 273, 274, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 41, 64, 143, 144, 154, 176, 186 }

B grade: { }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 145, 146, 147, 148, 149, 150, 151, 152, 153, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 177, 178, 179, 180, 181, 182, 183, 184, 185, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 39, 40, 41, 43, 51, 52, 53, 54, 56, 143, 261, 262, 265, 266, 267, 270 }

B grade: { 44, 64 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 42, 45, 46, 47, 48, 49, 50, 55, 57, 58, 59, 60, 61, 62, 63, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 263, 264, 268, 269, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 21, 25, 26, 27, 28, 29, 30, 37, 41, 54, 55, 56, 64, 107, 108, 109, 140, 141, 142, 143, 144, 146, 148, 150, 151, 152, 153, 154, 156, 158, 160, 161, 162, 163, 164, 165, 167, 169, 171, 172, 173, 174, 175, 176, 178, 180, 182, 183, 184, 185, 186, 188, 190, 192, 193, 194, 195, 196, 198, 200, 261, 262, 265, 270 }

C grade: { }

F grade: { 17, 18, 19, 20, 22, 23, 24, 31, 32, 33, 34, 35, 36, 38, 39, 40, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 57, 58, 59, 60, 61, 62, 63, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 145, 147, 149, 155, 157, 159, 166, 168, 170, 177, 179, 181, 187, 189, 191, 197, 199, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 263, 264, 266, 267, 268, 269, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 21 11 10 10 12 10 10
normalized size 1 1.00 2.10 1.10 1.00 1.00 1.20 1.00 1.00
time (sec) N/A 0.004 0.081 0.053 0.469 0.402 0.115 0.163 0.249
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 23 27 22 22 46 18 18
normalized size 1 1.00 0.92 1.08 0.88 0.88 1.84 0.72 0.72
time (sec) N/A 0.009 0.023 0.047 0.301 0.428 0.191 0.191 0.228
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 22 22 21 36 22 24
normalized size 1 1.00 1.00 0.85 0.85 0.81 1.38 0.85 0.92
time (sec) N/A 0.011 0.008 0.117 0.298 0.421 0.410 0.159 0.071
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 33 38 33 36 95 32 31
normalized size 1 1.00 0.72 0.83 0.72 0.78 2.07 0.70 0.67
time (sec) N/A 0.021 0.037 0.080 0.485 0.413 0.859 0.156 0.188
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 32 34 33 58 34 31
normalized size 1 1.00 1.00 0.78 0.83 0.80 1.41 0.83 0.76
time (sec) N/A 0.013 0.013 0.099 0.308 0.399 1.607 0.239 0.095
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 43 48 48 46 139 46 42
normalized size 1 1.00 0.64 0.72 0.72 0.69 2.07 0.69 0.63
time (sec) N/A 0.033 0.035 0.095 0.330 0.423 3.113 0.190 0.222
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 54 42 44 43 78 44 43
normalized size 1 1.00 1.00 0.78 0.81 0.80 1.44 0.81 0.80
time (sec) N/A 0.016 0.012 0.096 0.691 0.412 5.154 0.208 0.090
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 55 58 59 56 184 60 53
normalized size 1 1.00 0.62 0.66 0.67 0.64 2.09 0.68 0.60
time (sec) N/A 0.047 0.051 0.102 0.316 0.405 8.671 0.210 0.279
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 51 199 0 0 0 0 42
normalized size 1 1.00 0.78 3.06 0.00 0.00 0.00 0.00 0.65
time (sec) N/A 0.032 0.265 0.195 0.000 0.414 0.000 0.000 0.294
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 40 202 0 0 0 0 42
normalized size 1 1.00 0.95 4.81 0.00 0.00 0.00 0.00 1.00
time (sec) N/A 0.018 0.045 0.076 0.000 0.405 0.000 0.000 0.166
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 36 179 0 0 0 0 35
normalized size 1 1.00 0.86 4.26 0.00 0.00 0.00 0.00 0.83
time (sec) N/A 0.018 0.039 0.107 0.000 0.413 0.000 0.000 0.078
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 133 0 0 0 0 15
normalized size 1 1.00 1.00 8.31 0.00 0.00 0.00 0.00 0.94
time (sec) N/A 0.009 0.025 0.060 0.000 0.418 0.000 0.000 0.116
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 18 0 0 0 0 15
normalized size 1 1.00 1.00 1.12 0.00 0.00 0.00 0.00 0.94
time (sec) N/A 0.009 0.028 0.127 0.000 0.391 0.000 0.000 0.097
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 101 0 0 0 0 42
normalized size 1 1.00 1.00 2.66 0.00 0.00 0.00 0.00 1.11
time (sec) N/A 0.018 0.060 0.085 0.000 0.421 0.000 0.000 0.246
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 36 213 0 0 0 0 42
normalized size 1 1.00 0.86 5.07 0.00 0.00 0.00 0.00 1.00
time (sec) N/A 0.018 0.058 0.116 0.000 0.411 0.000 0.000 0.265
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 59 358 0 0 0 0 42
normalized size 1 1.00 0.91 5.51 0.00 0.00 0.00 0.00 0.65
time (sec) N/A 0.029 0.093 0.134 0.000 0.405 0.000 0.000 0.309
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 76 210 0 0 0 0 -1
normalized size 1 1.00 0.78 2.14 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.090 0.127 0.000 0.414 0.000 0.000 0.000
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 62 213 0 0 0 0 -1
normalized size 1 1.00 0.89 3.04 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.036 0.084 0.072 0.000 0.416 0.000 0.000 0.000
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 58 190 0 0 0 0 -1
normalized size 1 1.00 0.83 2.71 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.037 0.043 0.075 0.000 0.453 0.000 0.000 0.000
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 142 0 0 0 0 -1
normalized size 1 1.00 1.00 3.74 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.022 0.018 0.069 0.000 0.467 0.000 0.000 0.000
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 54 0 0 0 0 33
normalized size 1 1.00 1.00 1.42 0.00 0.00 0.00 0.00 0.87
time (sec) N/A 0.023 0.025 0.054 0.000 0.486 0.000 0.000 0.146
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 50 168 0 0 0 0 -1
normalized size 1 1.00 0.74 2.47 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.036 0.028 0.111 0.000 0.520 0.000 0.000 0.000
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 51 241 0 0 0 0 -1
normalized size 1 1.00 0.71 3.35 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.035 0.059 0.208 0.000 0.547 0.000 0.000 0.000
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 68 366 0 0 0 0 -1
normalized size 1 1.00 0.68 3.66 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.056 0.091 0.195 0.000 0.495 0.000 0.000 0.000
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0 42
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.79
time (sec) N/A 0.013 0.061 0.184 0.000 0.415 0.000 0.000 0.193
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0 42
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.79
time (sec) N/A 0.012 0.030 0.227 0.000 0.424 0.000 0.000 0.191
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0 42
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.79
time (sec) N/A 0.012 0.028 0.120 0.000 0.480 0.000 0.000 0.182
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0 42
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.79
time (sec) N/A 0.012 0.025 0.088 0.000 0.411 0.000 0.000 0.210
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 51 0 0 0 0 0 42
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.82
time (sec) N/A 0.012 0.024 0.091 0.000 0.414 0.000 0.000 0.203
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 51 0 0 0 0 0 42
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.82
time (sec) N/A 0.012 0.025 0.050 0.000 0.422 0.000 0.000 0.227
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.014 0.048 0.059 0.000 0.409 0.000 0.000 0.000
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.015 0.039 0.139 0.000 0.394 0.000 0.000 0.000
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.015 0.035 0.128 0.000 0.406 0.000 0.000 0.000
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.015 0.039 0.105 0.000 0.398 0.000 0.000 0.000
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 53 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.015 0.039 0.088 0.000 0.403 0.000 0.000 0.000
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 53 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.025 0.039 0.058 0.000 0.392 0.000 0.000 0.000
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0 57
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.89
time (sec) N/A 0.017 0.044 0.388 0.000 0.414 0.000 0.000 0.535
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 64 0 0 0 0 0 -1
normalized size 1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.020 0.041 0.313 0.000 0.434 0.000 0.000 0.000
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 36 32 31 40 0 34 -1
normalized size 1 1.00 0.68 0.60 0.58 0.75 0.00 0.64 -0.02
time (sec) N/A 0.039 0.018 0.090 0.683 0.417 0.000 0.536 0.000
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 26 24 17 26 0 17 -1
normalized size 1 1.00 0.76 0.71 0.50 0.76 0.00 0.50 -0.03
time (sec) N/A 0.027 0.009 0.082 0.893 0.418 0.000 0.294 0.000
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 13 15 6 15 19 9 46
normalized size 1 1.00 1.00 1.15 0.46 1.15 1.46 0.69 3.54
time (sec) N/A 0.011 0.004 0.055 0.676 0.407 0.543 0.393 0.214
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 46 48 38 65 0 0 -1
normalized size 1 1.00 2.88 3.00 2.38 4.06 0.00 0.00 -0.06
time (sec) N/A 0.014 0.025 0.082 0.678 0.452 0.000 0.000 0.000
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 91 70 304 40 0 47 -1
normalized size 1 1.00 2.17 1.67 7.24 0.95 0.00 1.12 -0.02
time (sec) N/A 0.022 0.059 0.088 0.676 0.418 0.000 0.415 0.000
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 72 89 933 49 0 126 -1
normalized size 1 1.00 1.18 1.46 15.30 0.80 0.00 2.07 -0.02
time (sec) N/A 0.044 0.139 0.095 1.375 0.473 0.000 0.562 0.000
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 61 114 0 0 0 0 -1
normalized size 1 1.00 0.52 0.97 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.066 0.114 0.387 0.000 0.609 0.000 0.000 0.000
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 50 198 0 0 0 0 -1
normalized size 1 1.00 0.75 2.96 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.041 0.071 0.159 0.000 0.546 0.000 0.000 0.000
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 37 76 0 0 0 0 -1
normalized size 1 1.00 0.84 1.73 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.028 0.024 0.180 0.000 0.645 0.000 0.000 0.000
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 31 191 0 0 0 0 -1
normalized size 1 1.00 0.74 4.55 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.023 0.019 0.306 0.000 0.629 0.000 0.000 0.000
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 44 87 0 0 0 0 -1
normalized size 1 1.00 0.62 1.23 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.030 0.057 0.309 0.000 0.470 0.000 0.000 0.000
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 57 223 0 0 0 0 -1
normalized size 1 1.00 0.49 1.91 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.051 0.097 0.379 0.000 0.920 0.000 0.000 0.000
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 53 57 85 68 0 57 -1
normalized size 1 1.00 0.40 0.43 0.64 0.52 0.00 0.43 -0.01
time (sec) N/A 0.051 0.116 0.412 0.903 0.529 0.000 0.596 0.000
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 38 41 55 42 0 25 -1
normalized size 1 1.00 0.49 0.53 0.71 0.54 0.00 0.32 -0.01
time (sec) N/A 0.032 0.068 0.171 0.669 0.517 0.000 0.549 0.000
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 25 22 22 21 0 13 -1
normalized size 1 1.00 0.69 0.61 0.61 0.58 0.00 0.36 -0.03
time (sec) N/A 0.015 0.014 0.091 1.073 0.505 0.000 0.270 0.000
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 6 18 0 6 6
normalized size 1 1.00 1.00 0.93 0.40 1.20 0.00 0.40 0.40
time (sec) N/A 0.014 0.005 0.082 0.997 0.486 0.000 0.282 0.231
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 30 29 22 33 0 0 36
normalized size 1 1.00 0.45 0.43 0.33 0.49 0.00 0.00 0.54
time (sec) N/A 0.021 0.026 0.097 0.870 0.729 0.000 0.000 0.541
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 47 41 34 45 0 34 306
normalized size 1 1.00 0.40 0.35 0.29 0.38 0.00 0.29 2.62
time (sec) N/A 0.032 0.045 0.149 0.520 0.505 0.000 0.526 3.744
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 72 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.035 0.064 0.191 0.000 0.451 0.000 0.000 0.000
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 74 0 0 0 0 0 -1
normalized size 1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.158 0.413 0.000 0.000 0.000 0.000 0.000
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 72 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.113 0.096 0.000 0.000 0.000 0.000 0.000
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 68 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.068 0.081 0.000 0.000 0.000 0.000 0.000
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 72 0 0 0 0 0 -1
normalized size 1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.047 0.073 0.085 0.000 0.000 0.000 0.000 0.000
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 72 0 0 0 0 0 -1
normalized size 1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.047 0.103 0.068 0.000 0.000 0.000 0.000 0.000
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 74 0 0 0 0 0 -1
normalized size 1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.045 0.103 0.073 0.000 0.000 0.000 0.000 0.000
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 0 0 15 65 300 40
normalized size 1 1.00 1.00 0.00 0.00 0.62 2.71 12.50 1.67
time (sec) N/A 0.020 0.026 0.143 0.000 0.536 1.582 5.144 0.404
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 74 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.046 0.053 0.202 0.000 0.515 0.000 0.000 0.000
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 123 123 83 234 0 0 0 0 -1
normalized size 1 1.00 0.67 1.90 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.090 0.196 0.156 0.000 0.486 0.000 0.000 0.000
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 75 221 0 0 0 0 -1
normalized size 1 1.00 0.77 2.28 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 0.145 0.129 0.000 0.661 0.000 0.000 0.000
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 73 208 0 0 0 0 -1
normalized size 1 1.00 0.77 2.19 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.066 0.137 0.124 0.000 0.638 0.000 0.000 0.000
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 62 211 0 0 0 0 -1
normalized size 1 1.00 0.90 3.06 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.041 0.060 0.113 0.000 0.561 0.000 0.000 0.000
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 61 188 0 0 0 0 -1
normalized size 1 1.00 0.91 2.81 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.043 0.058 0.108 0.000 0.566 0.000 0.000 0.000
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 142 0 0 0 0 -1
normalized size 1 1.00 1.00 3.74 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.020 0.022 0.089 0.000 0.832 0.000 0.000 0.000
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 39 142 0 0 0 0 -1
normalized size 1 1.00 1.00 3.64 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.029 0.029 0.105 0.000 0.476 0.000 0.000 0.000
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 48 166 0 0 0 0 -1
normalized size 1 1.00 0.76 2.63 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.055 0.054 0.145 0.000 0.487 0.000 0.000 0.000
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 49 239 0 0 0 0 -1
normalized size 1 1.00 0.70 3.41 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.057 0.086 0.138 0.000 0.617 0.000 0.000 0.000
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 69 363 0 0 0 0 -1
normalized size 1 1.00 0.73 3.82 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 0.220 0.197 0.000 0.545 0.000 0.000 0.000
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 69 396 0 0 0 0 -1
normalized size 1 1.00 0.70 4.04 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 0.180 0.162 0.000 0.828 0.000 0.000 0.000
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 123 123 79 412 0 0 0 0 -1
normalized size 1 1.00 0.64 3.35 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.097 0.204 0.196 0.000 0.628 0.000 0.000 0.000
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 83 236 0 0 0 0 -1
normalized size 1 1.00 0.66 1.87 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.086 0.098 0.125 0.000 0.456 0.000 0.000 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 75 223 0 0 0 0 -1
normalized size 1 1.00 0.79 2.35 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.099 0.119 0.000 1.049 0.000 0.000 0.000
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 73 210 0 0 0 0 -1
normalized size 1 1.00 0.74 2.14 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 0.097 0.125 0.000 0.605 0.000 0.000 0.000
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 65 213 0 0 0 0 -1
normalized size 1 1.00 0.97 3.18 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.084 0.122 0.000 0.546 0.000 0.000 0.000
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 58 190 0 0 0 0 -1
normalized size 1 1.00 0.83 2.71 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.033 0.015 0.119 0.000 0.522 0.000 0.000 0.000
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 39 144 0 0 0 0 -1
normalized size 1 1.00 1.00 3.69 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.029 0.014 0.104 0.000 0.492 0.000 0.000 0.000
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 144 0 0 0 0 -1
normalized size 1 1.00 1.00 3.51 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.038 0.020 0.115 0.000 0.663 0.000 0.000 0.000
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 50 168 0 0 0 0 -1
normalized size 1 1.00 0.76 2.55 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.054 0.053 0.132 0.000 0.580 0.000 0.000 0.000
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 51 241 0 0 0 0 -1
normalized size 1 1.00 0.71 3.35 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.054 0.064 0.131 0.000 0.518 0.000 0.000 0.000
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 69 364 0 0 0 0 -1
normalized size 1 1.00 0.70 3.71 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.074 0.113 0.182 0.000 0.665 0.000 0.000 0.000
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 69 398 0 0 0 0 -1
normalized size 1 1.00 0.69 3.98 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 0.124 0.151 0.000 0.613 0.000 0.000 0.000
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 79 414 0 0 0 0 -1
normalized size 1 1.00 0.63 3.29 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.095 0.173 0.196 0.000 0.485 0.000 0.000 0.000
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 83 236 0 0 0 0 -1
normalized size 1 1.00 0.66 1.89 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.080 0.133 0.143 0.000 0.686 0.000 0.000 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 75 223 0 0 0 0 -1
normalized size 1 1.00 0.77 2.28 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.100 0.128 0.000 0.534 0.000 0.000 0.000
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 76 210 0 0 0 0 -1
normalized size 1 1.00 0.78 2.16 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.058 0.093 0.104 0.000 0.514 0.000 0.000 0.000
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 62 213 0 0 0 0 -1
normalized size 1 1.00 0.89 3.04 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.033 0.015 0.126 0.000 0.498 0.000 0.000 0.000
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 59 190 0 0 0 0 -1
normalized size 1 1.00 0.82 2.64 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.048 0.022 0.135 0.000 0.732 0.000 0.000 0.000
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 144 0 0 0 0 -1
normalized size 1 1.00 1.00 3.51 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.039 0.014 0.096 0.000 0.597 0.000 0.000 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 38 144 0 0 0 0 -1
normalized size 1 1.00 0.93 3.51 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.038 0.044 0.132 0.000 0.569 0.000 0.000 0.000
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 50 168 0 0 0 0 -1
normalized size 1 1.00 0.74 2.47 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.055 0.055 0.128 0.000 0.877 0.000 0.000 0.000
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 51 241 0 0 0 0 -1
normalized size 1 1.00 0.71 3.35 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.056 0.064 0.139 0.000 0.475 0.000 0.000 0.000
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 69 366 0 0 0 0 -1
normalized size 1 1.00 0.69 3.66 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 0.151 0.205 0.000 0.687 0.000 0.000 0.000
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 69 398 0 0 0 0 -1
normalized size 1 1.00 0.69 3.98 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.074 0.177 0.150 0.000 0.522 0.000 0.000 0.000
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 79 414 0 0 0 0 -1
normalized size 1 1.00 0.62 3.23 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.095 0.241 0.231 0.000 0.641 0.000 0.000 0.000
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 76 210 0 0 0 0 -1
normalized size 1 1.00 0.78 2.14 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.051 0.018 0.136 0.000 0.646 0.000 0.000 0.000
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 73 233 0 0 0 0 -1
normalized size 1 1.00 0.58 1.86 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.091 0.132 0.150 0.000 0.542 0.000 0.000 0.000
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 71 220 0 0 0 0 -1
normalized size 1 1.00 0.71 2.20 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.116 0.143 0.000 0.606 0.000 0.000 0.000
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 63 207 0 0 0 0 -1
normalized size 1 1.00 0.65 2.13 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.062 0.102 0.152 0.000 0.565 0.000 0.000 0.000
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 58 210 0 0 0 0 -1
normalized size 1 1.00 0.81 2.92 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.056 0.146 0.000 0.931 0.000 0.000 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 51 187 0 0 0 0 58
normalized size 1 1.00 0.74 2.71 0.00 0.00 0.00 0.00 0.84
time (sec) N/A 0.039 0.046 0.169 0.000 0.730 0.000 0.000 0.140
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 141 0 0 0 0 33
normalized size 1 1.00 1.00 3.44 0.00 0.00 0.00 0.00 0.80
time (sec) N/A 0.023 0.016 0.127 0.000 0.827 0.000 0.000 0.148
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 54 0 0 0 0 33
normalized size 1 1.00 1.00 1.42 0.00 0.00 0.00 0.00 0.87
time (sec) N/A 0.019 0.014 0.053 0.000 0.663 0.000 0.000 0.192
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 47 165 0 0 0 0 -1
normalized size 1 1.00 0.72 2.54 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.044 0.038 0.161 0.000 0.546 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 48 238 0 0 0 0 -1
normalized size 1 1.00 0.72 3.55 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.051 0.060 0.159 0.000 0.810 0.000 0.000 0.000
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 65 366 0 0 0 0 -1
normalized size 1 1.00 0.67 3.77 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 0.089 0.247 0.000 0.524 0.000 0.000 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 63 395 0 0 0 0 -1
normalized size 1 1.00 0.66 4.16 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 0.136 0.185 0.000 0.634 0.000 0.000 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 77 411 0 0 0 0 -1
normalized size 1 1.00 0.62 3.29 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.094 0.299 0.250 0.000 0.593 0.000 0.000 0.000
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 76 236 0 0 0 0 -1
normalized size 1 1.00 0.59 1.84 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.083 0.088 0.154 0.000 0.789 0.000 0.000 0.000
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 74 223 0 0 0 0 -1
normalized size 1 1.00 0.74 2.23 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.058 0.051 0.155 0.000 0.707 0.000 0.000 0.000
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 66 210 0 0 0 0 -1
normalized size 1 1.00 0.66 2.10 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.049 0.203 0.000 0.587 0.000 0.000 0.000
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 61 213 0 0 0 0 -1
normalized size 1 1.00 0.85 2.96 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.036 0.158 0.000 0.910 0.000 0.000 0.000
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 54 190 0 0 0 0 -1
normalized size 1 1.00 0.75 2.64 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.041 0.034 0.238 0.000 0.585 0.000 0.000 0.000
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 144 0 0 0 0 -1
normalized size 1 1.00 1.00 3.51 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.023 0.015 0.190 0.000 0.548 0.000 0.000 0.000
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 144 0 0 0 0 -1
normalized size 1 1.00 1.00 3.51 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.024 0.018 0.132 0.000 0.741 0.000 0.000 0.000
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 50 168 0 0 0 0 -1
normalized size 1 1.00 0.74 2.47 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.034 0.015 0.158 0.000 0.978 0.000 0.000 0.000
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 51 241 0 0 0 0 -1
normalized size 1 1.00 0.74 3.49 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.048 0.025 0.165 0.000 0.522 0.000 0.000 0.000
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 68 366 0 0 0 0 -1
normalized size 1 1.00 0.69 3.73 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.076 0.051 0.256 0.000 0.764 0.000 0.000 0.000
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 66 398 0 0 0 0 -1
normalized size 1 1.00 0.68 4.10 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 0.044 0.182 0.000 0.726 0.000 0.000 0.000
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 80 414 0 0 0 0 -1
normalized size 1 1.00 0.63 3.29 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.096 0.040 0.263 0.000 0.547 0.000 0.000 0.000
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 76 236 0 0 0 0 -1
normalized size 1 1.00 0.59 1.84 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.082 0.052 0.194 0.000 0.511 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 74 223 0 0 0 0 -1
normalized size 1 1.00 0.74 2.23 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.057 0.181 0.000 0.473 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 66 210 0 0 0 0 -1
normalized size 1 1.00 0.66 2.10 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.041 0.185 0.000 0.580 0.000 0.000 0.000
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 61 213 0 0 0 0 -1
normalized size 1 1.00 0.85 2.96 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.033 0.162 0.000 0.575 0.000 0.000 0.000
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 54 190 0 0 0 0 -1
normalized size 1 1.00 0.75 2.64 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.041 0.029 0.159 0.000 0.601 0.000 0.000 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 144 0 0 0 0 -1
normalized size 1 1.00 1.00 3.51 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.023 0.013 0.147 0.000 0.592 0.000 0.000 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 38 144 0 0 0 0 -1
normalized size 1 1.00 0.93 3.51 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.026 0.050 0.135 0.000 0.554 0.000 0.000 0.000
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 50 168 0 0 0 0 -1
normalized size 1 1.00 0.74 2.47 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.042 0.021 0.185 0.000 0.645 0.000 0.000 0.000
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 51 241 0 0 0 0 -1
normalized size 1 1.00 0.71 3.35 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.035 0.016 0.166 0.000 0.860 0.000 0.000 0.000
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 68 366 0 0 0 0 -1
normalized size 1 1.00 0.70 3.77 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 0.026 0.266 0.000 0.646 0.000 0.000 0.000
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 66 398 0 0 0 0 -1
normalized size 1 1.00 0.67 4.06 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.079 0.062 0.193 0.000 0.522 0.000 0.000 0.000
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 80 414 0 0 0 0 -1
normalized size 1 1.00 0.64 3.31 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.098 0.041 0.286 0.000 0.549 0.000 0.000 0.000
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 68 366 0 0 0 0 -1
normalized size 1 1.00 0.68 3.66 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.053 0.016 0.260 0.000 0.813 0.000 0.000 0.000
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 55 62 49 176 0 0 75
normalized size 1 1.00 0.56 0.63 0.50 1.80 0.00 0.00 0.77
time (sec) N/A 0.027 0.084 0.180 0.771 0.679 0.000 0.000 1.257
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 45 40 42 39 0 0 57
normalized size 1 1.00 0.64 0.57 0.60 0.56 0.00 0.00 0.81
time (sec) N/A 0.017 0.085 0.112 1.119 0.869 0.000 0.000 0.739
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 45 42 25 150 0 0 62
normalized size 1 1.00 0.71 0.67 0.40 2.38 0.00 0.00 0.98
time (sec) N/A 0.014 0.053 0.118 1.099 0.642 0.000 0.000 0.689
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 29 13 28 29 31 44
normalized size 1 1.00 1.00 0.91 0.41 0.88 0.91 0.97 1.38
time (sec) N/A 0.007 0.024 0.112 0.867 0.731 10.761 2.564 0.389
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 28 26 94 5 0 20
normalized size 1 1.00 1.00 1.17 1.08 3.92 0.21 0.00 0.83
time (sec) N/A 0.003 0.010 0.083 0.879 0.701 1.751 0.000 0.096
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 42 65 113 0 0 -1
normalized size 1 1.00 1.00 1.27 1.97 3.42 0.00 0.00 -0.03
time (sec) N/A 0.008 0.011 0.107 1.268 0.597 0.000 0.000 0.000
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 29 54 28 0 0 59
normalized size 1 1.00 1.00 0.91 1.69 0.88 0.00 0.00 1.84
time (sec) N/A 0.012 0.017 0.115 1.102 0.607 0.000 0.000 0.702
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 52 104 661 201 0 0 -1
normalized size 1 1.00 0.72 1.44 9.18 2.79 0.00 0.00 -0.01
time (sec) N/A 0.021 0.042 0.141 1.129 0.833 0.000 0.000 0.000
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 45 42 294 41 0 0 128
normalized size 1 1.00 0.64 0.60 4.20 0.59 0.00 0.00 1.83
time (sec) N/A 0.018 0.082 0.124 1.127 0.570 0.000 0.000 1.855
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 66 121 1656 227 0 0 -1
normalized size 1 1.00 0.62 1.13 15.48 2.12 0.00 0.00 -0.01
time (sec) N/A 0.036 0.100 0.197 1.230 0.603 0.000 0.000 0.000
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 55 62 53 183 0 0 76
normalized size 1 1.00 0.54 0.61 0.52 1.81 0.00 0.00 0.75
time (sec) N/A 0.029 0.078 0.138 1.047 0.596 0.000 0.000 1.048
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 45 40 45 43 0 0 58
normalized size 1 1.00 0.62 0.56 0.62 0.60 0.00 0.00 0.81
time (sec) N/A 0.018 0.109 0.084 1.248 0.552 0.000 0.000 0.704
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 45 42 28 153 0 0 63
normalized size 1 1.00 0.69 0.65 0.43 2.35 0.00 0.00 0.97
time (sec) N/A 0.015 0.051 0.096 1.544 0.699 0.000 0.000 0.528
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 32 29 13 29 0 0 29
normalized size 1 1.00 0.97 0.88 0.39 0.88 0.00 0.00 0.88
time (sec) N/A 0.007 0.037 0.097 1.094 0.514 0.000 0.000 0.240
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 24 28 26 95 5 0 21
normalized size 1 1.00 0.96 1.12 1.04 3.80 0.20 0.00 0.84
time (sec) N/A 0.003 0.015 0.058 0.828 0.593 125.707 0.000 0.090
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 33 42 68 114 0 0 -1
normalized size 1 1.00 0.97 1.24 2.00 3.35 0.00 0.00 -0.03
time (sec) N/A 0.008 0.014 0.081 1.106 0.570 0.000 0.000 0.000
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 32 29 54 29 0 0 60
normalized size 1 1.00 0.97 0.88 1.64 0.88 0.00 0.00 1.82
time (sec) N/A 0.012 0.016 0.096 0.831 0.791 0.000 0.000 0.504
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 52 104 691 204 0 0 -1
normalized size 1 1.00 0.70 1.41 9.34 2.76 0.00 0.00 -0.01
time (sec) N/A 0.021 0.047 0.111 1.205 0.548 0.000 0.000 0.000
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 45 42 299 42 0 0 129
normalized size 1 1.00 0.62 0.58 4.15 0.58 0.00 0.00 1.79
time (sec) N/A 0.018 0.049 0.086 1.697 0.544 0.000 0.000 1.140
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 67 121 1742 234 0 0 -1
normalized size 1 1.00 0.61 1.10 15.84 2.13 0.00 0.00 -0.01
time (sec) N/A 0.039 0.082 0.140 1.232 0.687 0.000 0.000 0.000
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 57 52 77 61 0 0 73
normalized size 1 1.00 0.49 0.45 0.66 0.53 0.00 0.00 0.63
time (sec) N/A 0.026 0.116 0.121 1.015 0.603 0.000 0.000 1.355
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 55 62 59 193 0 0 78
normalized size 1 1.00 0.51 0.58 0.55 1.80 0.00 0.00 0.73
time (sec) N/A 0.030 0.081 0.121 1.099 0.676 0.000 0.000 1.026
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 45 40 49 47 0 0 60
normalized size 1 1.00 0.59 0.53 0.64 0.62 0.00 0.00 0.79
time (sec) N/A 0.018 0.126 0.106 1.226 0.731 0.000 0.000 0.621
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 45 42 32 159 0 0 40
normalized size 1 1.00 0.65 0.61 0.46 2.30 0.00 0.00 0.58
time (sec) N/A 0.016 0.067 0.116 1.089 1.036 0.000 0.000 0.444
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 32 29 13 31 0 0 31
normalized size 1 1.00 0.91 0.83 0.37 0.89 0.00 0.00 0.89
time (sec) N/A 0.008 0.049 0.079 1.482 0.534 0.000 0.000 0.323
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 24 28 26 97 0 0 23
normalized size 1 1.00 0.89 1.04 0.96 3.59 0.00 0.00 0.85
time (sec) N/A 0.003 0.012 0.063 1.204 0.649 0.000 0.000 0.090
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 33 42 72 116 0 0 -1
normalized size 1 1.00 0.92 1.17 2.00 3.22 0.00 0.00 -0.03
time (sec) N/A 0.009 0.021 0.082 1.357 0.547 0.000 0.000 0.000
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 32 29 54 31 0 0 62
normalized size 1 1.00 0.91 0.83 1.54 0.89 0.00 0.00 1.77
time (sec) N/A 0.012 0.018 0.084 1.120 0.624 0.000 0.000 0.424
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 52 104 747 210 0 0 -1
normalized size 1 1.00 0.67 1.33 9.58 2.69 0.00 0.00 -0.01
time (sec) N/A 0.021 0.052 0.110 1.831 0.538 0.000 0.000 0.000
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 45 42 311 46 0 0 131
normalized size 1 1.00 0.59 0.55 4.09 0.61 0.00 0.00 1.72
time (sec) N/A 0.019 0.052 0.104 1.265 0.592 0.000 0.000 1.178
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 66 121 1914 244 0 0 -1
normalized size 1 1.00 0.57 1.04 16.50 2.10 0.00 0.00 -0.01
time (sec) N/A 0.036 0.101 0.161 1.584 0.652 0.000 0.000 0.000
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 57 52 68 54 0 0 73
normalized size 1 1.00 0.53 0.49 0.64 0.50 0.00 0.00 0.68
time (sec) N/A 0.024 0.103 0.120 1.427 0.670 0.000 0.000 1.178
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 55 62 49 182 0 0 78
normalized size 1 1.00 0.56 0.63 0.50 1.86 0.00 0.00 0.80
time (sec) N/A 0.027 0.065 0.150 1.342 0.784 0.000 0.000 1.061
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 45 40 42 42 0 0 60
normalized size 1 1.00 0.64 0.57 0.60 0.60 0.00 0.00 0.86
time (sec) N/A 0.017 0.066 0.104 0.956 0.793 0.000 0.000 0.638
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 45 42 25 157 0 0 65
normalized size 1 1.00 0.71 0.67 0.40 2.49 0.00 0.00 1.03
time (sec) N/A 0.015 0.052 0.130 1.257 0.629 0.000 0.000 0.653
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 29 13 31 0 0 47
normalized size 1 1.00 1.00 0.91 0.41 0.97 0.00 0.00 1.47
time (sec) N/A 0.007 0.025 0.113 1.257 0.649 0.000 0.000 0.363
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 28 26 97 5 0 37
normalized size 1 1.00 1.00 1.17 1.08 4.04 0.21 0.00 1.54
time (sec) N/A 0.003 0.011 0.078 0.937 0.744 2.430 0.000 0.263
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 42 65 116 0 0 -1
normalized size 1 1.00 1.00 1.27 1.97 3.52 0.00 0.00 -0.03
time (sec) N/A 0.007 0.011 0.101 1.574 0.627 0.000 0.000 0.000
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 29 59 31 0 0 62
normalized size 1 1.00 1.00 0.91 1.84 0.97 0.00 0.00 1.94
time (sec) N/A 0.012 0.021 0.115 1.592 0.656 0.000 0.000 0.542
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 52 104 661 207 0 0 -1
normalized size 1 1.00 0.72 1.44 9.18 2.88 0.00 0.00 -0.01
time (sec) N/A 0.022 0.035 0.136 1.247 0.995 0.000 0.000 0.000
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 45 42 294 44 0 0 131
normalized size 1 1.00 0.64 0.60 4.20 0.63 0.00 0.00 1.87
time (sec) N/A 0.018 0.058 0.097 1.600 0.702 0.000 0.000 1.374
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 66 121 1656 233 0 0 -1
normalized size 1 1.00 0.62 1.13 15.48 2.18 0.00 0.00 -0.01
time (sec) N/A 0.035 0.056 0.151 1.301 0.748 0.000 0.000 0.000
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 55 62 49 182 0 0 78
normalized size 1 1.00 0.51 0.58 0.46 1.70 0.00 0.00 0.73
time (sec) N/A 0.029 0.050 0.137 1.252 0.934 0.000 0.000 0.984
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 45 40 42 42 0 0 60
normalized size 1 1.00 0.59 0.53 0.55 0.55 0.00 0.00 0.79
time (sec) N/A 0.019 0.048 0.086 1.002 0.846 0.000 0.000 0.695
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 45 42 25 157 0 0 65
normalized size 1 1.00 0.65 0.61 0.36 2.28 0.00 0.00 0.94
time (sec) N/A 0.016 0.037 0.107 1.500 1.154 0.000 0.000 0.594
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 32 29 13 31 0 0 47
normalized size 1 1.00 0.91 0.83 0.37 0.89 0.00 0.00 1.34
time (sec) N/A 0.007 0.035 0.080 1.480 0.915 0.000 0.000 0.323
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 24 28 26 97 5 0 37
normalized size 1 1.00 0.89 1.04 0.96 3.59 0.19 0.00 1.37
time (sec) N/A 0.003 0.012 0.080 1.047 0.755 129.109 0.000 0.277
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 33 42 65 116 0 0 -1
normalized size 1 1.00 0.92 1.17 1.81 3.22 0.00 0.00 -0.03
time (sec) N/A 0.008 0.012 0.110 1.159 0.848 0.000 0.000 0.000
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 32 29 67 31 0 0 62
normalized size 1 1.00 0.91 0.83 1.91 0.89 0.00 0.00 1.77
time (sec) N/A 0.013 0.012 0.116 0.999 0.624 0.000 0.000 0.511
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 52 102 670 207 0 0 -1
normalized size 1 1.00 0.67 1.31 8.59 2.65 0.00 0.00 -0.01
time (sec) N/A 0.022 0.028 0.105 1.572 1.390 0.000 0.000 0.000
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 45 42 311 44 0 0 131
normalized size 1 1.00 0.59 0.55 4.09 0.58 0.00 0.00 1.72
time (sec) N/A 0.019 0.023 0.107 1.768 0.635 0.000 0.000 1.264
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 66 121 1679 233 0 0 -1
normalized size 1 1.00 0.57 1.04 14.47 2.01 0.00 0.00 -0.01
time (sec) N/A 0.037 0.039 0.167 2.001 0.781 0.000 0.000 0.000
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 58 62 49 182 0 0 78
normalized size 1 1.00 0.54 0.58 0.46 1.70 0.00 0.00 0.73
time (sec) N/A 0.028 0.069 0.151 1.187 0.854 0.000 0.000 0.999
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 48 40 42 42 0 0 60
normalized size 1 1.00 0.63 0.53 0.55 0.55 0.00 0.00 0.79
time (sec) N/A 0.018 0.043 0.097 1.579 0.976 0.000 0.000 0.602
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 48 42 25 157 0 0 65
normalized size 1 1.00 0.70 0.61 0.36 2.28 0.00 0.00 0.94
time (sec) N/A 0.015 0.040 0.109 1.437 0.940 0.000 0.000 0.606
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 35 29 13 31 0 0 47
normalized size 1 1.00 1.00 0.83 0.37 0.89 0.00 0.00 1.34
time (sec) N/A 0.007 0.021 0.097 1.628 0.678 0.000 0.000 0.410
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 24 28 26 97 0 0 37
normalized size 1 1.00 0.89 1.04 0.96 3.59 0.00 0.00 1.37
time (sec) N/A 0.003 0.011 0.077 1.271 0.820 0.000 0.000 0.283
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 33 42 65 116 0 0 -1
normalized size 1 1.00 0.92 1.17 1.81 3.22 0.00 0.00 -0.03
time (sec) N/A 0.008 0.019 0.084 1.431 0.917 0.000 0.000 0.000
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 32 29 67 31 0 0 87
normalized size 1 1.00 0.91 0.83 1.91 0.89 0.00 0.00 2.49
time (sec) N/A 0.013 0.013 0.119 1.347 0.954 0.000 0.000 1.073
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 55 104 688 207 0 0 -1
normalized size 1 1.00 0.71 1.33 8.82 2.65 0.00 0.00 -0.01
time (sec) N/A 0.022 0.042 0.115 1.563 0.690 0.000 0.000 0.000
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 45 42 343 44 0 0 131
normalized size 1 1.00 0.59 0.55 4.51 0.58 0.00 0.00 1.72
time (sec) N/A 0.018 0.025 0.111 1.508 0.950 0.000 0.000 1.292
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 66 121 1729 233 0 0 -1
normalized size 1 1.00 0.57 1.04 14.91 2.01 0.00 0.00 -0.01
time (sec) N/A 0.037 0.043 0.155 1.945 0.831 0.000 0.000 0.000
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 82 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.026 0.099 0.134 0.000 0.658 0.000 0.000 0.000
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0 -1
normalized size 1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.058 0.187 0.000 0.938 0.000 0.000 0.000
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.051 0.078 0.000 0.769 0.000 0.000 0.000
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.014 0.036 0.131 0.000 1.022 0.000 0.000 0.000
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 54 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.024 0.046 0.129 0.000 0.739 0.000 0.000 0.000
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 56 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.031 0.058 0.108 0.000 0.631 0.000 0.000 0.000
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0 -1
normalized size 1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.032 0.043 0.118 0.000 0.870 0.000 0.000 0.000
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 82 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.028 0.112 0.090 0.000 0.921 0.000 0.000 0.000
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0 -1
normalized size 1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.057 0.157 0.000 0.888 0.000 0.000 0.000
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.051 0.071 0.000 0.945 0.000 0.000 0.000
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.014 0.035 0.091 0.000 0.780 0.000 0.000 0.000
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 56 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.027 0.045 0.131 0.000 0.956 0.000 0.000 0.000
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 54 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.036 0.055 0.111 0.000 0.990 0.000 0.000 0.000
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0 -1
normalized size 1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.036 0.042 0.121 0.000 0.986 0.000 0.000 0.000
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 82 0 0 0 0 0 -1
normalized size 1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.026 0.166 0.101 0.000 0.729 0.000 0.000 0.000
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0 -1
normalized size 1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.073 0.163 0.000 0.688 0.000 0.000 0.000
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.068 0.076 0.000 0.917 0.000 0.000 0.000
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.014 0.003 0.022 0.000 0.790 0.000 0.000 0.000
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 56 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.025 0.005 0.103 0.000 0.943 0.000 0.000 0.000
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 56 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.036 0.009 0.123 0.000 0.814 0.000 0.000 0.000
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.056 0.102 0.000 0.670 0.000 0.000 0.000
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 82 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.026 0.108 0.069 0.000 0.770 0.000 0.000 0.000
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0 -1
normalized size 1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.068 0.128 0.000 1.048 0.000 0.000 0.000
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.005 0.092 0.000 1.018 0.000 0.000 0.000
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.014 0.003 0.043 0.000 0.956 0.000 0.000 0.000
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 54 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.026 0.044 0.084 0.000 0.872 0.000 0.000 0.000
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 58 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.034 0.048 0.087 0.000 0.673 0.000 0.000 0.000
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.032 0.101 0.128 0.000 0.488 0.000 0.000 0.000
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 82 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.025 0.103 0.066 0.000 0.602 0.000 0.000 0.000
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0 -1
normalized size 1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.069 0.135 0.000 0.635 0.000 0.000 0.000
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.004 0.072 0.000 0.569 0.000 0.000 0.000
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 53 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.015 0.003 0.033 0.000 0.500 0.000 0.000 0.000
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 56 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.026 0.044 0.078 0.000 0.784 0.000 0.000 0.000
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 58 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.052 0.086 0.000 0.648 0.000 0.000 0.000
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.045 0.097 0.123 0.000 0.958 0.000 0.000 0.000
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 82 0 0 0 0 0 -1
normalized size 1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.031 0.103 0.072 0.000 0.641 0.000 0.000 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.021 0.004 0.130 0.000 0.680 0.000 0.000 0.000
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.021 0.008 0.092 0.000 0.522 0.000 0.000 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 53 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.016 0.003 0.023 0.000 0.588 0.000 0.000 0.000
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 56 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.027 0.008 0.082 0.000 0.659 0.000 0.000 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 58 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.059 0.058 0.099 0.000 0.566 0.000 0.000 0.000
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.042 0.104 0.110 0.000 0.684 0.000 0.000 0.000
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 77 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.034 0.084 0.891 0.000 0.666 0.000 0.000 0.000
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 72 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.033 0.072 1.330 0.000 1.013 0.000 0.000 0.000
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 70 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.049 0.051 1.147 0.000 0.622 0.000 0.000 0.000
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 64 0 0 0 0 0 -1
normalized size 1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.024 0.042 0.231 0.000 0.520 0.000 0.000 0.000
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 63 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.030 0.055 0.479 0.000 0.597 0.000 0.000 0.000
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 67 0 0 0 0 0 -1
normalized size 1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.045 0.063 0.402 0.000 0.892 0.000 0.000 0.000
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 70 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.042 0.046 0.568 0.000 0.545 0.000 0.000 0.000
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 72 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.042 0.053 0.341 0.000 1.042 0.000 0.000 0.000
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.027 0.130 0.132 0.000 0.545 0.000 0.000 0.000
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.028 0.110 0.104 0.000 0.636 0.000 0.000 0.000
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.027 0.084 0.124 0.000 0.596 0.000 0.000 0.000
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.027 0.054 0.099 0.000 0.785 0.000 0.000 0.000
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.029 0.078 0.096 0.000 0.438 0.000 0.000 0.000
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.028 0.082 0.096 0.000 0.659 0.000 0.000 0.000
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.028 0.080 0.092 0.000 0.618 0.000 0.000 0.000
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.029 0.083 0.085 0.000 0.509 0.000 0.000 0.000
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 89 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 10.906 0.842 0.000 0.668 0.000 0.000 0.000
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 13 13 0 13 15
normalized size 1 1.00 1.00 0.93 0.87 0.87 0.00 0.87 1.00
time (sec) N/A 0.025 0.020 0.038 0.639 0.638 0.000 0.463 0.304
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 14 13 23 0 13 15
normalized size 1 1.00 1.00 0.82 0.76 1.35 0.00 0.76 0.88
time (sec) N/A 0.025 0.023 0.023 0.839 0.539 0.000 0.625 0.213
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 53 88 0 0 0 0 -1
normalized size 1 1.00 0.79 1.31 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.051 0.097 0.160 0.000 0.488 0.000 0.000 0.000
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 61 142 0 0 0 0 -1
normalized size 1 1.00 0.91 2.12 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.048 0.145 0.140 0.000 0.502 0.000 0.000 0.000
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 18 14 13 22 0 14 16
normalized size 1 1.00 0.86 0.67 0.62 1.05 0.00 0.67 0.76
time (sec) N/A 0.024 0.025 0.096 0.601 0.493 0.000 0.579 0.335
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 27 26 25 23 0 24 -1
normalized size 1 1.00 0.82 0.79 0.76 0.70 0.00 0.73 -0.03
time (sec) N/A 0.033 0.062 0.093 0.697 0.577 0.000 1.091 0.000
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 29 26 25 33 0 25 -1
normalized size 1 1.00 0.83 0.74 0.71 0.94 0.00 0.71 -0.03
time (sec) N/A 0.033 0.065 0.076 0.517 0.547 0.000 0.506 0.000
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 63 100 0 0 0 0 -1
normalized size 1 1.00 0.68 1.09 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.080 0.136 0.159 0.000 0.622 0.000 0.000 0.000
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 63 152 0 0 0 0 -1
normalized size 1 1.00 0.68 1.65 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.079 0.406 0.140 0.000 0.656 0.000 0.000 0.000
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 7 6 6 0 6 8
normalized size 1 1.00 1.00 0.70 0.60 0.60 0.00 0.60 0.80
time (sec) N/A 0.017 0.008 0.020 1.131 0.573 0.000 0.370 0.203
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 47 28 41 95 0 0 -1
normalized size 1 1.00 1.47 0.88 1.28 2.97 0.00 0.00 -0.03
time (sec) N/A 0.028 0.029 0.175 1.349 0.821 0.000 0.000 0.000
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 50 48 41 97 0 0 -1
normalized size 1 1.00 1.61 1.55 1.32 3.13 0.00 0.00 -0.03
time (sec) N/A 0.029 0.033 0.188 0.704 0.649 0.000 0.000 0.000
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 49 123 0 0 0 0 -1
normalized size 1 1.00 0.80 2.02 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.048 0.142 0.188 0.000 0.534 0.000 0.000 0.000
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 54 177 0 0 0 0 -1
normalized size 1 1.00 0.87 2.85 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.048 0.148 0.192 0.000 0.828 0.000 0.000 0.000
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 73 73 65 131 0 0 -1
normalized size 1 1.00 1.18 1.18 1.05 2.11 0.00 0.00 -0.02
time (sec) N/A 0.053 0.112 0.189 1.328 0.676 0.000 0.000 0.000
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 33 71 63 141 0 0 -1
normalized size 1 1.00 0.53 1.15 1.02 2.27 0.00 0.00 -0.02
time (sec) N/A 0.046 0.028 0.173 1.443 0.749 0.000 0.000 0.000
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 64 168 0 0 0 0 -1
normalized size 1 1.00 0.70 1.83 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.081 0.378 0.201 0.000 0.598 0.000 0.000 0.000
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 76 160 0 0 0 0 -1
normalized size 1 1.00 0.83 1.74 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.080 0.232 0.323 0.000 0.743 0.000 0.000 0.000
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 105 0 0 0 0 0 -1
normalized size 1 1.00 1.38 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.105 0.680 0.219 0.000 0.560 0.000 0.000 0.000
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 70 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.092 0.170 0.141 0.000 0.543 0.000 0.000 0.000
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 68 0 0 0 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.097 0.220 0.132 0.000 0.702 0.000 0.000 0.000
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 68 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.111 0.260 0.128 0.000 0.588 0.000 0.000 0.000
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 70 0 0 0 0 0 -1
normalized size 1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.110 0.280 0.148 0.000 0.628 0.000 0.000 0.000
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 85 85 312 0 0 0 0 0 -1
normalized size 1 1.00 3.67 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.083 1.966 0.653 0.000 0.657 0.000 0.000 0.000
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 88 88 314 0 0 0 0 0 -1
normalized size 1 1.00 3.57 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.091 0.227 0.555 0.000 0.679 0.000 0.000 0.000
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 88 88 314 0 0 0 0 0 -1
normalized size 1 1.00 3.57 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.092 0.237 0.627 0.000 0.688 0.000 0.000 0.000
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 91 91 316 0 0 0 0 0 -1
normalized size 1 1.00 3.47 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.099 0.227 0.661 0.000 0.854 0.000 0.000 0.000
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 76 94 0 0 0 0 0 -1
normalized size 1 0.97 1.21 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.118 7.909 0.171 0.000 0.582 0.000 0.000 0.000
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 94 0 0 0 0 0 -1
normalized size 1 1.00 1.24 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.116 2.386 0.170 0.000 0.652 0.000 0.000 0.000
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 94 0 0 0 0 0 -1
normalized size 1 1.00 1.24 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.112 1.240 0.156 0.000 0.645 0.000 0.000 0.000
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 96 0 0 0 0 0 -1
normalized size 1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.098 1.050 0.157 0.000 0.873 0.000 0.000 0.000
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 78 78 225 0 0 0 0 0 -1
normalized size 1 1.00 2.88 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.098 1.639 0.140 0.000 0.842 0.000 0.000 0.000
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 116 0 0 0 0 0 -1
normalized size 1 1.00 1.49 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.112 6.449 0.136 0.000 0.694 0.000 0.000 0.000
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 125 0 0 0 0 0 -1
normalized size 1 1.00 1.60 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.111 1.060 0.132 0.000 0.972 0.000 0.000 0.000

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [275] had the largest ratio of [.3158]

Table 2.1:Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)
1 A 1 1 1.00 6 0.167
2 A 2 2 1.00 8 0.250
3 A 2 1 1.00 8 0.125
4 A 3 2 1.00 8 0.250
5 A 2 1 1.00 8 0.125
6 A 4 2 1.00 8 0.250
7 A 2 1 1.00 8 0.125
8 A 5 2 1.00 8 0.250
9 A 3 2 1.00 10 0.200
10 A 2 2 1.00 10 0.200
11 A 2 2 1.00 10 0.200
12 A 1 1 1.00 10 0.100
13 A 1 1 1.00 10 0.100
14 A 2 2 1.00 10 0.200
15 A 2 2 1.00 10 0.200
16 A 3 2 1.00 10 0.200
17 A 4 3 1.00 12 0.250
18 A 3 3 1.00 12 0.250
19 A 3 3 1.00 12 0.250
20 A 2 2 1.00 12 0.167
21 A 2 2 1.00 12 0.167
22 A 3 3 1.00 12 0.250
23 A 3 3 1.00 12 0.250
24 A 4 3 1.00 12 0.250
25 A 1 1 1.00 10 0.100
26 A 1 1 1.00 10 0.100
27 A 1 1 1.00 10 0.100
28 A 1 1 1.00 10 0.100
29 A 1 1 1.00 10 0.100
30 A 1 1 1.00 10 0.100
31 A 1 1 1.00 12 0.083
32 A 1 1 1.00 12 0.083
33 A 1 1 1.00 12 0.083
34 A 1 1 1.00 12 0.083
35 A 1 1 1.00 12 0.083
36 A 1 1 1.00 12 0.083
37 A 1 1 1.00 8 0.125
38 A 1 1 1.00 10 0.100
39 A 4 3 1.00 10 0.300
40 A 3 3 1.00 10 0.300
41 A 2 2 1.00 10 0.200
42 A 2 2 1.00 10 0.200
43 A 3 3 1.00 10 0.300
44 A 4 3 1.00 10 0.300
45 A 6 3 1.00 10 0.300
46 A 4 3 1.00 10 0.300
47 A 3 3 1.00 10 0.300
48 A 3 3 1.00 10 0.300
49 A 4 3 1.00 10 0.300
50 A 6 3 1.00 10 0.300
51 A 7 3 1.00 10 0.300
52 A 5 3 1.00 10 0.300
53 A 3 3 1.00 10 0.300
54 A 3 3 1.00 10 0.300
55 A 3 2 1.00 10 0.200
56 A 3 2 1.00 10 0.200
57 A 2 2 1.00 12 0.167
58 A 2 2 1.00 14 0.143
59 A 2 2 1.00 14 0.143
60 A 2 2 1.00 14 0.143
61 A 2 2 1.00 14 0.143
62 A 2 2 1.00 14 0.143
63 A 2 2 1.00 14 0.143
64 A 2 2 1.00 14 0.143
65 A 2 2 1.00 14 0.143
66 A 6 4 1.00 21 0.190
67 A 5 4 1.00 21 0.190
68 A 5 4 1.00 21 0.190
69 A 4 4 1.00 21 0.190
70 A 4 4 1.00 19 0.210
71 A 2 2 1.00 12 0.167
72 A 3 3 1.00 19 0.158
73 A 4 4 1.00 21 0.190
74 A 4 4 1.00 21 0.190
75 A 5 4 1.00 21 0.190
76 A 5 4 1.00 21 0.190
77 A 6 4 1.00 21 0.190
78 A 6 4 1.00 21 0.190
79 A 5 4 1.00 21 0.190
80 A 5 4 1.00 21 0.190
81 A 4 4 1.00 19 0.210
82 A 3 3 1.00 12 0.250
83 A 3 3 1.00 19 0.158
84 A 3 3 1.00 21 0.143
85 A 4 4 1.00 21 0.190
86 A 4 4 1.00 21 0.190
87 A 5 4 1.00 21 0.190
88 A 5 4 1.00 21 0.190
89 A 6 4 1.00 21 0.190
90 A 6 4 1.00 21 0.190
91 A 5 4 1.00 21 0.190
92 A 5 4 1.00 19 0.210
93 A 3 3 1.00 12 0.250
94 A 4 4 1.00 19 0.210
95 A 3 3 1.00 21 0.143
96 A 3 3 1.00 21 0.143
97 A 4 4 1.00 21 0.190
98 A 4 4 1.00 21 0.190
99 A 5 4 1.00 21 0.190
100 A 5 4 1.00 21 0.190
101 A 6 4 1.00 21 0.190
102 A 4 3 1.00 12 0.250
103 A 6 4 1.00 21 0.190
104 A 5 4 1.00 21 0.190
105 A 5 4 1.00 21 0.190
106 A 4 4 1.00 21 0.190
107 A 4 4 1.00 21 0.190
108 A 3 3 1.00 19 0.158
109 A 2 2 1.00 12 0.167
110 A 4 4 1.00 19 0.210
111 A 4 4 1.00 21 0.190
112 A 5 4 1.00 21 0.190
113 A 5 4 1.00 21 0.190
114 A 6 4 1.00 21 0.190
115 A 6 4 1.00 21 0.190
116 A 5 4 1.00 21 0.190
117 A 5 4 1.00 21 0.190
118 A 4 4 1.00 21 0.190
119 A 4 4 1.00 21 0.190
120 A 3 3 1.00 21 0.143
121 A 3 3 1.00 19 0.158
122 A 3 3 1.00 12 0.250
123 A 4 4 1.00 19 0.210
124 A 5 4 1.00 21 0.190
125 A 5 4 1.00 21 0.190
126 A 6 4 1.00 21 0.190
127 A 6 4 1.00 21 0.190
128 A 5 4 1.00 21 0.190
129 A 5 4 1.00 21 0.190
130 A 4 4 1.00 21 0.190
131 A 4 4 1.00 21 0.190
132 A 3 3 1.00 21 0.143
133 A 3 3 1.00 21 0.143
134 A 4 4 1.00 19 0.210
135 A 3 3 1.00 12 0.250
136 A 5 4 1.00 19 0.210
137 A 5 4 1.00 21 0.190
138 A 6 4 1.00 21 0.190
139 A 4 3 1.00 12 0.250
140 A 4 3 1.00 23 0.130
141 A 3 2 1.00 23 0.087
142 A 3 3 1.00 23 0.130
143 A 2 2 1.00 23 0.087
144 A 2 2 1.00 23 0.087
145 A 2 2 1.00 23 0.087
146 A 3 3 1.00 23 0.130
147 A 3 3 1.00 23 0.130
148 A 3 2 1.00 23 0.087
149 A 4 3 1.00 23 0.130
150 A 4 3 1.00 23 0.130
151 A 3 2 1.00 23 0.087
152 A 3 3 1.00 23 0.130
153 A 2 2 1.00 23 0.087
154 A 2 2 1.00 23 0.087
155 A 2 2 1.00 23 0.087
156 A 3 3 1.00 23 0.130
157 A 3 3 1.00 23 0.130
158 A 3 2 1.00 23 0.087
159 A 4 3 1.00 23 0.130
160 A 3 2 1.00 23 0.087
161 A 4 3 1.00 23 0.130
162 A 3 2 1.00 23 0.087
163 A 3 3 1.00 23 0.130
164 A 2 2 1.00 23 0.087
165 A 2 2 1.00 23 0.087
166 A 2 2 1.00 23 0.087
167 A 3 3 1.00 23 0.130
168 A 3 3 1.00 23 0.130
169 A 3 2 1.00 23 0.087
170 A 4 3 1.00 23 0.130
171 A 3 2 1.00 23 0.087
172 A 4 3 1.00 23 0.130
173 A 3 2 1.00 23 0.087
174 A 3 3 1.00 23 0.130
175 A 2 2 1.00 23 0.087
176 A 2 2 1.00 23 0.087
177 A 2 2 1.00 23 0.087
178 A 3 3 1.00 23 0.130
179 A 3 3 1.00 23 0.130
180 A 3 2 1.00 23 0.087
181 A 4 3 1.00 23 0.130
182 A 4 3 1.00 23 0.130
183 A 3 2 1.00 23 0.087
184 A 3 3 1.00 23 0.130
185 A 2 2 1.00 23 0.087
186 A 2 2 1.00 23 0.087
187 A 2 2 1.00 23 0.087
188 A 3 3 1.00 23 0.130
189 A 3 3 1.00 23 0.130
190 A 3 2 1.00 23 0.087
191 A 4 3 1.00 23 0.130
192 A 4 3 1.00 23 0.130
193 A 3 2 1.00 23 0.087
194 A 3 3 1.00 23 0.130
195 A 2 2 1.00 23 0.087
196 A 2 2 1.00 23 0.087
197 A 2 2 1.00 23 0.087
198 A 3 3 1.00 23 0.130
199 A 3 3 1.00 23 0.130
200 A 3 2 1.00 23 0.087
201 A 4 3 1.00 23 0.130
202 A 2 2 1.00 21 0.095
203 A 2 2 1.00 21 0.095
204 A 2 2 1.00 19 0.105
205 A 1 1 1.00 12 0.083
206 A 2 2 1.00 19 0.105
207 A 2 2 1.00 21 0.095
208 A 2 2 1.00 21 0.095
209 A 2 2 1.00 21 0.095
210 A 2 2 1.00 21 0.095
211 A 2 2 1.00 19 0.105
212 A 1 1 1.00 12 0.083
213 A 2 2 1.00 19 0.105
214 A 2 2 1.00 21 0.095
215 A 2 2 1.00 21 0.095
216 A 2 2 1.00 21 0.095
217 A 2 2 1.00 21 0.095
218 A 2 2 1.00 19 0.105
219 A 1 1 1.00 12 0.083
220 A 2 2 1.00 19 0.105
221 A 2 2 1.00 21 0.095
222 A 2 2 1.00 21 0.095
223 A 2 2 1.00 21 0.095
224 A 2 2 1.00 21 0.095
225 A 2 2 1.00 19 0.105
226 A 1 1 1.00 12 0.083
227 A 2 2 1.00 19 0.105
228 A 2 2 1.00 21 0.095
229 A 2 2 1.00 21 0.095
230 A 2 2 1.00 21 0.095
231 A 2 2 1.00 21 0.095
232 A 2 2 1.00 19 0.105
233 A 1 1 1.00 12 0.083
234 A 2 2 1.00 19 0.105
235 A 2 2 1.00 21 0.095
236 A 2 2 1.00 21 0.095
237 A 2 2 1.00 21 0.095
238 A 2 2 1.00 21 0.095
239 A 2 2 1.00 19 0.105
240 A 1 1 1.00 12 0.083
241 A 2 2 1.00 19 0.105
242 A 2 2 1.00 21 0.095
243 A 2 2 1.00 21 0.095
244 A 2 2 1.00 21 0.095
245 A 2 2 1.00 19 0.105
246 A 2 2 1.00 17 0.118
247 A 1 1 1.00 10 0.100
248 A 2 2 1.00 17 0.118
249 A 2 2 1.00 19 0.105
250 A 2 2 1.00 19 0.105
251 A 2 2 1.00 19 0.105
252 A 2 2 1.00 21 0.095
253 A 2 2 1.00 21 0.095
254 A 2 2 1.00 21 0.095
255 A 2 2 1.00 21 0.095
256 A 2 2 1.00 21 0.095
257 A 2 2 1.00 21 0.095
258 A 2 2 1.00 21 0.095
259 A 2 2 1.00 21 0.095
260 A 2 2 1.00 21 0.095
261 A 2 2 1.00 17 0.118
262 A 2 2 1.00 17 0.118
263 A 3 3 1.00 19 0.158
264 A 3 3 1.00 19 0.158
265 A 3 2 1.00 11 0.182
266 A 3 2 1.00 19 0.105
267 A 3 2 1.00 19 0.105
268 A 4 3 1.00 19 0.158
269 A 4 3 1.00 19 0.158
270 A 2 2 1.00 9 0.222
271 A 5 5 1.00 17 0.294
272 A 5 5 1.00 17 0.294
273 A 3 3 1.00 19 0.158
274 A 3 3 1.00 19 0.158
275 A 6 6 1.00 19 0.316
276 A 6 6 1.00 19 0.316
277 A 4 3 1.00 19 0.158
278 A 4 3 1.00 19 0.158
279 A 2 2 1.00 21 0.095
280 A 2 2 1.00 21 0.095
281 A 2 2 1.00 21 0.095
282 A 2 2 1.00 21 0.095
283 A 2 2 1.00 21 0.095
284 A 2 2 1.00 17 0.118
285 A 2 2 1.00 19 0.105
286 A 2 2 1.00 19 0.105
287 A 2 2 1.00 21 0.095
288 A 2 2 0.97 23 0.087
289 A 2 2 1.00 23 0.087
290 A 2 2 1.00 23 0.087
291 A 2 2 1.00 23 0.087
292 A 2 2 1.00 23 0.087
293 A 2 2 1.00 23 0.087
294 A 2 2 1.00 23 0.087

[next] [prev] [prev-tail] [front] [up]